After two successful MATES conferences in Erfurt 2003 and 2004, the 3rd G- man conference on Multi-agent System Technologies ...
Lee masThe 2004 International Conference on Parallel and Distributed Computing, - plications and Technologies (PDCAT 2004) was the ...
Lee masThis book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...
Lee masThis book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets ...
Lee masConstitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, ...
Lee masThe papers in this volume represent the proceedings of the 4th International Workshop on Principles and Practice of Semantic ...
Lee masThis book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...
Lee masThis volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April ...
Lee masThis volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...
Lee masRISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr-ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, ...
Lee masThis paper reports on the experiences of integrating several Software Engineering techniques by the Rapid Prototyping group of ...
Lee masThis book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...
Lee masThis book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Lee masThis volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Lee masReliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lee masThis book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lee masThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lee masThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lee masStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Lee masThis book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...
Lee mas